"Neville Dean" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)

C. Neville Dean, Raymond T. Boute

Категория: Компьютеры

5.47 Mb

#2

Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

C. Neville Dean

Категория: Компьютеры

5.62 Mb

#3

Logic and Language

Neville Dean

1.04 Mb

#4

Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004

C. Neville Dean, Raymond T. Boute

Категория: Cs_Computer science, CsLn_Lecture notes

22.56 Mb